English technique for demonstrating theorems: translation to other languages